Term logic is the classical form of logic used by the followers of Aristotle (i.e. all of Europe) prior to the advent of modern predicate logic. A basic knowledge of it is fundamental to understanding European and Greek philosophical texts written prior to around the mid-1800s. I have written this page as a set of notes for myself to assist with formulating the structure of the enthymemes presented in Rhetoric.
There are four categories of propositions in term logic
Universal affirmatives and universal negatives stand in the most important dialectical relationship: they cannot both be true.
Particular affirmatives and particular negatives may simultaneously be true, but they cannot simultaneously be false.
The universal affirmative implies the particular affirmative; likewise for the universal and particular negative.
The universal affirmative contradicts the particular negative; likewise for the universal negative and the particular positive.
Where R is one of the aforementioned relations.